proof technique

[计] 验证技术, 验证方法